منابع مشابه
Weakly Distributive Domains
In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This accomplishes the first of a possible, two-step process in solving the problem raised in [1, 2]: whether the category of stable bifinite domains of Amadio-Droste-Göbel [1, 6] is the largest cartesian closed full subcategory...
متن کاملStrictification of Categories Weakly Enriched in Symmetric Monoidal Categories
We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a ”many 0-cells” version of the strictification of bimonoidal categories to strict ones.
متن کاملWeakly Mal’tsev Categories and Strong Relations
We define a strong relation in a category C to be a span which is “orthogonal” to the class of jointly epimorphic pairs of morphisms. Under the presence of finite limits, a strong relation is simply a strong monomorphism R → X × Y . We show that a category C with pullbacks and equalizers is a weakly Mal’tsev category if and only if every reflexive strong relation in C is an equivalence relation...
متن کاملContributions to the Theory of Weakly Distributive Complete Boolean Algebras
We investigate complete Boolean algebras that carry a continuous submeasure.
متن کاملWeakly Globular N - Fold Categories as a Model of Weak N - Categories Simona
We study a new type of higher categorical structure, called weakly globular n-fold category, previously introduced by the author. We show that this structure is a model of weak ncategories by proving that it is suitably equivalent to the TamsamaniSimpson model. We also introduce groupoidal weakly globular nfold categories and show that they are algebraic models of n-types.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1997
ISSN: 0022-4049
DOI: 10.1016/0022-4049(95)00160-3